Composition dynamique de services de calcul
Identifieur interne : 002595 ( Main/Exploration ); précédent : 002594; suivant : 002596Composition dynamique de services de calcul
Auteurs : Aurélie Hurault [France] ; Marc Pantel [France] ; Michel Daydé [France]Source :
- Technique et Science Informatiques [ 0752-4072 ] ; 2011.
Abstract
Dans les environnements fortement répartis, comme les grilles ou nuages, l’existence d’un grand nombre de services disponibles va de pair avec le besoin de rechercher ceux-ci. Une requête portant sur le nom est résolue par annuaire, mais une requête définie par les fonctionnalités attendues par l’utilisateur est moins évidente. La question devient particulièrement ardue quand une composition de services est nécessaire. Cet article présente une approche sémantique de la recherche de services qui utilise une description fonctionnelle des services inspirée des spécifications algébriques et un algorithme de recherche basé sur l’unification équationnelle. La requête ainsi que les services sont décrits par un terme sur l’algèbre de leur domaine. L’algorithme d’unification équationnelle fournit un E-unificateur, qui donne le service et les valeurs que doivent prendre ses paramètres. Ces valeurs peuvent être des termes complexes résolus par un service ou une composition de services. Notre approche est particulièrement intéressante quand les services sont volatiles car elle permet une composition dynamique.
In highly distributed environments, the existence of a large number of services goes with the need to locate them. A named based request is resolved using directories, but a request based on functionality expected by the user is less obvious. The question becomes particularly difficult when a service composition is required. We propose to use a functional description of services based on algebraic specification and a search algorithm based on equational unification. Requests and services are described using term from the correspond domain specific algebra. The equational unification algorithm provides an E-unifier, which gives the service and the values of its parametres. These values can be complex terms solved by basic or composite services. Our approach is particularly interesting when services are volatile since it allows dynamic composition.
Url:
DOI: 10.3166/tsi.30.685-710
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: 000615
- to stream Istex, to step Curation: 000610
- to stream Istex, to step Checkpoint: 000495
- to stream Main, to step Merge: 002637
- to stream Main, to step Curation: 002595
Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="fr">Composition dynamique de services de calcul</title><author><name sortKey="Hurault, Aurelie" sort="Hurault, Aurelie" uniqKey="Hurault A" first="Aurélie" last="Hurault">Aurélie Hurault</name></author><author><name sortKey="Pantel, Marc" sort="Pantel, Marc" uniqKey="Pantel M" first="Marc" last="Pantel">Marc Pantel</name></author><author><name sortKey="Dayde, Michel" sort="Dayde, Michel" uniqKey="Dayde M" first="Michel" last="Daydé">Michel Daydé</name></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:1B4293880A93AB3C67218516B7014D57D28AF36D</idno><date when="2011" year="2011">2011</date><idno type="doi">10.3166/tsi.30.685-710</idno><idno type="url">https://api.istex.fr/ark:/67375/HT0-7RV0WH7D-G/fulltext.pdf</idno><idno type="wicri:Area/Istex/Corpus">000615</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">000615</idno><idno type="wicri:Area/Istex/Curation">000610</idno><idno type="wicri:Area/Istex/Checkpoint">000495</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">000495</idno><idno type="wicri:doubleKey">0752-4072:2011:Hurault A:composition:dynamique:de</idno><idno type="wicri:Area/Main/Merge">002637</idno><idno type="wicri:Area/Main/Curation">002595</idno><idno type="wicri:Area/Main/Exploration">002595</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="fr">Composition dynamique de services de calcul</title><author><name sortKey="Hurault, Aurelie" sort="Hurault, Aurelie" uniqKey="Hurault A" first="Aurélie" last="Hurault">Aurélie Hurault</name><affiliation wicri:level="0"><country wicri:rule="zip">France</country></affiliation></author><author><name sortKey="Pantel, Marc" sort="Pantel, Marc" uniqKey="Pantel M" first="Marc" last="Pantel">Marc Pantel</name><affiliation wicri:level="0"><country wicri:rule="zip">France</country></affiliation></author><author><name sortKey="Dayde, Michel" sort="Dayde, Michel" uniqKey="Dayde M" first="Michel" last="Daydé">Michel Daydé</name><affiliation wicri:level="0"><country wicri:rule="zip">France</country></affiliation></author></analytic><monogr></monogr><series><title level="j" type="main">Technique et Science Informatiques</title><title level="j" type="abbrev">Tech. Sci. Info.</title><idno type="ISSN">0752-4072</idno><idno type="eISSN">2116-5920</idno><imprint><publisher>Lavoisier</publisher><date type="published" when="2011-06">2011</date><biblScope unit="vol">30</biblScope><biblScope unit="issue">6</biblScope><biblScope unit="page" from="685">685</biblScope><biblScope unit="page" to="710">710</biblScope><biblScope unit="page-count">26</biblScope><biblScope unit="ref-count">0</biblScope><biblScope unit="fig-count">0</biblScope><biblScope unit="table-count">0</biblScope></imprint><idno type="ISSN">0752-4072</idno></series></biblStruct></sourceDesc><seriesStmt><idno type="ISSN">0752-4072</idno></seriesStmt></fileDesc><profileDesc><textClass></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="fr">Dans les environnements fortement répartis, comme les grilles ou nuages, l’existence d’un grand nombre de services disponibles va de pair avec le besoin de rechercher ceux-ci. Une requête portant sur le nom est résolue par annuaire, mais une requête définie par les fonctionnalités attendues par l’utilisateur est moins évidente. La question devient particulièrement ardue quand une composition de services est nécessaire. Cet article présente une approche sémantique de la recherche de services qui utilise une description fonctionnelle des services inspirée des spécifications algébriques et un algorithme de recherche basé sur l’unification équationnelle. La requête ainsi que les services sont décrits par un terme sur l’algèbre de leur domaine. L’algorithme d’unification équationnelle fournit un E-unificateur, qui donne le service et les valeurs que doivent prendre ses paramètres. Ces valeurs peuvent être des termes complexes résolus par un service ou une composition de services. Notre approche est particulièrement intéressante quand les services sont volatiles car elle permet une composition dynamique.</div><div type="abstract" xml:lang="en">In highly distributed environments, the existence of a large number of services goes with the need to locate them. A named based request is resolved using directories, but a request based on functionality expected by the user is less obvious. The question becomes particularly difficult when a service composition is required. We propose to use a functional description of services based on algebraic specification and a search algorithm based on equational unification. Requests and services are described using term from the correspond domain specific algebra. The equational unification algorithm provides an E-unifier, which gives the service and the values of its parametres. These values can be complex terms solved by basic or composite services. Our approach is particularly interesting when services are volatile since it allows dynamic composition.</div></front></TEI><affiliations><list><country><li>France</li></country></list><tree><country name="France"><noRegion><name sortKey="Hurault, Aurelie" sort="Hurault, Aurelie" uniqKey="Hurault A" first="Aurélie" last="Hurault">Aurélie Hurault</name></noRegion><name sortKey="Dayde, Michel" sort="Dayde, Michel" uniqKey="Dayde M" first="Michel" last="Daydé">Michel Daydé</name><name sortKey="Pantel, Marc" sort="Pantel, Marc" uniqKey="Pantel M" first="Marc" last="Pantel">Marc Pantel</name></country></tree></affiliations></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 002595 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 002595 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Exploration
|type= RBID
|clé= ISTEX:1B4293880A93AB3C67218516B7014D57D28AF36D
|texte= Composition dynamique de services de calcul
}}
| This area was generated with Dilib version V0.6.33. |  |